-
1 denotational semantics
-
2 denotational semantics
техника описания "значения" программ как математических функций, позволяющая доказывать теоремы и рассуждать о программах как о математических сущностяхсм. тж. semanticsАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > denotational semantics
-
3 denotational semantics
Большой англо-русский и русско-английский словарь > denotational semantics
-
4 denotational semantics
Вычислительная техника: денотационная семантикаУниверсальный англо-русский словарь > denotational semantics
-
5 denotational semantics
денотационная семантика, теория областейEnglish-Russian electronics dictionary > denotational semantics
-
6 denotational semantics
денотационная семантика, теория областейThe New English-Russian Dictionary of Radio-electronics > denotational semantics
-
7 denotational semantics
English-Russian dictionary of computer science and programming > denotational semantics
-
8 denotational semantics
English-Russian information technology > denotational semantics
-
9 semantics
- behavioral semantics
- composable semantics
- denotational semantics
- formal semantics
- inheritance semantics
- operational semantics
- partial semantics
- preference semantics
- situational semantics
- structural semantics
- transformational semanticsEnglish-Russian dictionary of computer science and programming > semantics
-
10 semantics
-
11 semantics
вчт.- denotational semantics
- mathematical semantics
- non-standard semantics
- operational semantics
- procedural semantics
- programming language semantics
- reduction semantics
- semantics of application domain
- standard semanticsThe New English-Russian Dictionary of Radio-electronics > semantics
-
12 semantics
1. n лингв. семантика2. n пустословие; бессодержательное красноречие -
13 semantics
1) применительно к естественному языку - значение, смысл (смысловое содержание) языковой единицы (морфемы, слова, словосочетания и т. п.); семантика этих элементов должна учитываться, в частности, при распознавании речи и текста.Syn:2) в случае языка программирования - задаёт смысл (смысловое значение) его слов, символов и синтаксически правильных конструкций с точки зрения их поведения при исполнении программыAnt:см. тж. data semantics, denotational semantics, formal semantics, functional semantics, hermeneutics, operational semantics, semantic analysis, semantic error3) раздел семиотики, изучающий знаковые системы как средства выражения смыслаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > semantics
-
14 semantics
-
15 semantics
-
16 axiomatic semantics
-
17 deep semantics
-
18 formal semantics
-
19 preference semantics
-
20 situational semantics
- 1
- 2
См. также в других словарях:
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
denotational semantics — noun An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages. See Also: axiomatic semantics, operational semantics … Wiktionary
Semantics — is the study of meaning in communication. The word derives from Greek σημαντικός ( semantikos ), significant , [cite web|url=http://www.perseus.tufts.edu/cgi bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2393797|title=Semantikos, Henry… … Wikipedia
Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval … Wikipedia
Axiomatic semantics — is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the… … Wikipedia
Algebraic semantics — In logic, algebraic semantics is a formal semantics based on algebras. For example, the modal logic S4 is characterized by the class of topological boolean algebras mdash;that is, boolean algebras with an interior operator. Other modal logics are … Wikipedia
mathematical semantics — noun A study of formal semantics of computer languages, such as denotational semantics … Wiktionary
Action semantics — is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. It is a mixture of denotational, operational and algebraic semantics.Action Semantics aims to be pragmatic. Action… … Wikipedia